void gera_index();

void gera_index_aux(FILE*, FILE*);
